Saarbrücken Germany
نویسنده
چکیده
Minimal resolution restricts the applicability of resolution and factorization to minimal literals. Minimality is an abstract criterion. It is shown that if the minimality criterion satisfies certain properties, minimal resolution is sound and complete. Hyper-resolution, ordered resolution and lock resolution are known instances of minimal resolution. We also introduce new instances called list resolution and tuple resolution. In addition, we investigate the compatibility of some important redundancy criteria with minimal resolution.
منابع مشابه
Human alveolar epithelial cells expressing tight junctions to model the air - blood barrier 1
Drug Delivery (DDEL), Helmholtz-Institute for Pharmaceutical Research Saarland (HIPS), Saarbrücken, Germany; Department of Pharmacy, Saarland University, Saarbrücken, Germany; Department of Biosciences, University of Oslo, Oslo, Norway; Saarland University, Institute of Human Genetics, University Hospital, Homburg/Saar, Germany; SHG Clinics, Department of Cardiothoracic Surgery, Voelklingen Hea...
متن کاملSca ering-aware Texture Reproduction for 3D Printing
OSKAR ELEK*, Charles University, Prague, Czech Republic DENIS SUMIN*, Max Planck Institute for Informatics, Saarbrücken, Germany RAN ZHANG, Institute for Science and Technology Austria TIM WEYRICH, University College London, United Kingdom KAROL MYSZKOWSKI, Max Planck Institute for Informatics, Saarbrücken, Germany BERND BICKEL, Institute for Science and Technology Austria ALEXANDER WILKIE, Cha...
متن کاملSca ering-aware Texture Reproduction for 3D Printing: Supplemental Document – Measurement
OSKAR ELEK*, Charles University, Prague, Czech Republic DENIS SUMIN*, Max Planck Institute for Informatics, Saarbrücken, Germany RAN ZHANG, Institute for Science and Technology Austria TIM WEYRICH, University College London, United Kingdom KAROL MYSZKOWSKI, Max Planck Institute for Informatics, Saarbrücken, Germany BERND BICKEL, Institute for Science and Technology Austria ALEXANDER WILKIE, Cha...
متن کاملLagrangian Strain Tensor Computation with Higher Order Variational Models
Alexander Hewer1 [email protected] Joachim Weickert1 [email protected] Tobias Scheffer2 [email protected] Henning Seibert2 [email protected] Stefan Diebels2 [email protected] 1 Mathematical Image Analysis Group Saarland University, Campus E1.7 66041 Saarbrücken, Germany 2 Chair of Applied Mechanics Saarland University, Campus A4.2 66041 Saarb...
متن کاملAging and memory effects in b-hydroquinone-clathrate
A. V. Kityk, M. C. Rheinstädter, K. Knorr, and H. Rieger 1 Technische Physik, Universität des Saarlandes, 66041 Saarbrücken, Germany 2 Institute for Computer Science, Faculty of Electrical Eng., Czestochowa Technical University, 42-200 Czestochowa, Poland Theoretische Physik, Universität des Saarlandes, 66041 Saarbrücken, Germany ~Received 22 October 2001; revised manuscript received 2 January ...
متن کاملβ relaxation and low-temperature aging in a Au-based bulk metallic glass: From elastic properties to atomic-scale structure
Z. Evenson,1,2,* S. E. Naleway,3 S. Wei,1 O. Gross,1 J. J. Kruzic,3 I. Gallino,1 W. Possart,4 M. Stommel,5 and R. Busch1 1Chair for Metallic Materials, Saarland University, Campus C6.3, D-66123 Saarbrücken, Germany 2Institut für Materialphysik im Weltraum, Deutsches Zentrum für Luftund Raumfahrt (DLR), 51147 Köln, Germany 3Material Science, School of Mechanical, Industrial, and Manufacturing En...
متن کامل